Polynomring

Wenn ${\displaystyle R}$ ein kommutativer Ring mit einer ${\displaystyle 1}$ ist, dann ist der Polynomring ${\displaystyle R[X]}$ die Menge aller Polynome mit Koeffizienten aus dem Ring ${\displaystyle R}$ und der Variablen ${\displaystyle X}$ zusammen mit der üblichen Addition und Multiplikation von Polynomen. Davon zu unterscheiden sind in der abstrakten Algebra die Polynomfunktionen, nicht zuletzt, weil unterschiedliche Polynome dieselbe Polynomfunktion induzieren können.